failure 486:

Requirement failed: {scalbl.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
location
trace /var/opt/lsb/test/olver-core/2013-07-25_08-37-08/util_float_scenario.utz (util_float_scenario.utt), line 18446
occurence
scenario util_float_scenario
specification function scalb_spec()
parameter value  CallContext context = [pid=28448,thr=b74e2700]
parameter value  Unifloat * @x = (long double) -1.1897314953572317650212638530309702e+4932 (-0x.FFFFFFFFFFFFFFFFP16384L)
parameter value  Unifloat * x = (long double) -1.1897314953572317650212638530309702e+4932 (-0x.FFFFFFFFFFFFFFFFP16384L)
parameter value  Unifloat * @n = (long double) 2.0000000000000000000000000000000000e+00 (0x.8000000000000000P2L)
parameter value  Unifloat * n = (long double) 2.0000000000000000000000000000000000e+00 (0x.8000000000000000P2L)
parameter value  ErrorCode * @errno = EOK
parameter value  ErrorCode * errno = EOK
return value  (Unifloat *) (long double) -Infinity
coverage
& branch
C
x is non-zero, n - finite value
properties
REQ failed scalbl.14.02.01
kind POSTCONDITION_FAILED
similar known bug(s)
The scalb() family of functions shall compute x*r^n, where r is the radix of the machine's floating-point arithmetic. According to LSB, the functions shall set EDOM error code when x is zero and n is +Inf, or x is Inf and n is -Inf and ERANGE when overflow occurs. But the functions sets error code EOK in these cases.